Compositionality for quantitative specifications
نویسندگان
چکیده
منابع مشابه
Compositionality for quantitative specifications
We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how t...
متن کاملCompositionality Results for Quantitative Information Flow
In the min-entropy approach to quantitative information flow, the leakage is defined in terms of a minimization problem, which, in case of large systems, can be computationally rather heavy. The same happens for the recently proposed generalization called g-vulnerability. In this paper we study the case in which the channel associated to the system can be decomposed into simpler channels, which...
متن کاملOn the Compositionality of Quantitative Information Flow
Information flow is the branch of security that studies the leakage of information due to correlation between secrets and observables. Since in general such correlation cannot be avoided completely, it is important to quantify the leakage. The most followed approaches to defining appropriate measures are those based on information theory. In particular, one of the most successful approaches is ...
متن کاملStructured language for specifications of quantitative requirements
Requirements for dependable systems need to be understandable and, at the same time, have to satisfy consistency and unambiguity properties. We provide a means to specify nonfunctional requirements in terms of structured English sentences. We define their the syntax by a clear and consistent notation. For verification these sentences have to be transformed to a notation that can be interpreted ...
متن کاملQuantitative Specifications for Verification and Synthesis
Standard specifications used for formal verification and synthesis of systems partition the set of all systems into “good” and “bad” systems. However, a more nuanced view is often required as not all acceptable systems are equally good, and not all unacceptable systems are equally bad. The aim of this dissertation is to explore the possibility of capturing these nuances through quantitative spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Soft Computing
سال: 2017
ISSN: 1432-7643,1433-7479
DOI: 10.1007/s00500-017-2519-5